Completeness and super-valuations

Reactive Valuations

In sequential logic there is an order in which the atomic propositions in an expression are evaluated. This order allows the same atomic proposition to have different values depending on which atomic propositions have already been evaluated. In the sequential propositional logic introduced by Bergstra and Ponse in [5], such valuations are called “reactive” valuations, in contrast to “static” va...

Quotient BCI-algebras induced by pseudo-valuations

In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties.

Identification of first-price auctions with non-separable unobserved heterogeneity

We propose a novel methodology for identification of first-price auctions, when bidders’ private valuations are independent conditional on one-dimensional unobserved heterogeneity. We extend the existing literature (Li and Vuong (1998), Krasnokutskaya (2011)) by allowing the unobserved heterogeneity to be nonseparable from bidders’ valuations. Our central identifying assumption is that the dist...

Realization of a Certain Class of Semi-Groups as Value Semi-Groups of Valuations

α Valuations of Special Classes of Quadratic Graphs